$\forall$$i$, $j$:$\mathbb{Z}$. \{$i$$\ldots\,$$j$\} $\in$ Type